Slip – A Lisp System in JavaScript
lisperator.net·5h·
Discuss: Hacker News
🌱Minimal Lisps
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·15h
🔗Unification Algorithms
GaloisInc/parameterized-utils
github.com·2d
📏Linear Haskell
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·13h·
Discuss: DEV
🌊Streaming Lexers
`shimmy` Rust inference server uses bindings to a C library... and runs Python scripts in the shell
reddit.com·19h·
Discuss: r/rust
🏗️Cranelift
Let's Write a Macro in Rust
hackeryarn.com·3h·
Discuss: Hacker News
🦀Rust Macros
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·3d
🎭Staged Interpreters
How static analysis encourages developers to refactor code: Another look at Source SDK
dev.to·4h·
Discuss: DEV
🪄C Metaprogramming
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
⚡functional programming
Cactus Language • Semantics 3
inquiryintoinquiry.com·3h
📋Backus-Naur Form
SAT problems are kind of cool
blog.karanjanthe.me·2d·
Discuss: Hacker News
🧩SAT Solvers
Dimension reduction for efficient Bayesian inference of high-dimensional quantity of interest problems with parametric and nonparametric uncertainties
sciencedirect.com·59m
🗺️Region Inference
Three ways formally verified code can go wrong in practice
buttondown.com·2h
📜Proof Languages
RND1: Simple, Scalable AR-to-Diffusion Conversion
radicalnumerics.ai·23h·
Discuss: Hacker News
🔬Nanopasses
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at·23h·
Discuss: Hacker News
🐍lisp
English - the hottest programming language of the future
dev.to·1h·
Discuss: DEV
🎮Language Ergonomics
Two-Stage Voting for Robust and Efficient Suicide Risk Detection on Social Media
arxiv.org·15h
🔍ML Language
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
📋Datalog
Experimenting with ACL2 and Claude Code
mikedodds.org·7h·
Discuss: Hacker News
💬Interactive REPLs
LangChain.js is overrated; Build your AI agent with a simple fetch call
blog.logrocket.com·1d
🚂Cranelift Backend